Assumptions: finite products, self-dual
Conclusions: finite coproducts
Proof: This holds by self-duality.